181. Approximation Theory
پدیدآورنده: by George A. Anastassiou, Sorin G. Gal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Global analysis.,Mathematics.

182. Array grammars, patterns and recognizers
پدیدآورنده: editor P.S.P. Wang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989


183. Artificial Boundary Metho
پدیدآورنده: / by Houde Han, Xiaonan Wu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Engineering mathematics,Electronic books
رده :
E-BOOK

184. Artificial Intelligence and Dynamic Systems for Geophysical Applications
پدیدآورنده: by Alexei Gvishiani, Jacques Octave Dubois.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science-- Mathematics.,Geographical information systems.,Geography.,Optical pattern recognition.,Physical geography.

185. Artificial mathematical intelligence :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;

186. Aspects of Semidefinite Programming :
پدیدآورنده: by Etienne Klerk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Information theory.,Mathematics.
رده :
T57
.
74
B948
2004


187. Assignment problems /
پدیدآورنده: Rainer Burkard, Mauro Dell'Amico, Silvano Martello
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Assignment problems (Programming),Computer science-- Mathematics
رده :
QA402
.
6
.
B87
2009


188. Assignment problems
پدیدآورنده: Burkard, Rainer E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87


189. At the intersection of language, logic, and information :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;

190. Atlas for computing mathematical functions: an illustrated guide for practitioners, with programs in C and Mathematica
پدیدآورنده: Thompson, William Jackson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Computer programs ، Functions,Mathematics Computer programs ، Science,، C )Computer program language(,، Mathematica )Computer program language(
رده :
QA
331
.
T385


191. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500


192. Automata, logics, and infinite games
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;

193. Automata, logics, and infinite games
پدیدآورنده: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002


194. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002


195. BASIC programs for scientists and engineers
پدیدآورنده: Miller, Alan R., 2391-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Mathematics- Computer programs,، Science- Computer programs,، Engineering- Computer programs,، BASIC )Computer program language(
رده :
QA
76
.
95
.
M53
1981


196. BASIC programs for scientists and engineers
پدیدآورنده: Miller, Alan R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
رده :
QA
76
.
95
.
M53
1981


197. Barriers and Challenges in Computational Fluid Dynamics
پدیدآورنده: edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.

198. Basic Concepts in Computational Physics /
پدیدآورنده: by Benjamin A. Stickler, Ewald Schachinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Applied mathematics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.
رده :
QC1-999


199. Beginning math and physics for game programmers
پدیدآورنده: / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004

